101. Modeling in Computer Graphics :
Author: edited by Bianca Falcidieno, Tosiyasu L. Kunii.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics -- Congresses.,Computer graphics.,Computer science.
Classification :
T385
.
E358
1993
103. On the Move to Meaningful Internet Systems:
Author: Pilar Herrero [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
104. Optimization-based computer-aided modelling and design :
Author: A.J. Beulens, H.-J. Sebastian (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation -- Congresses.,Computer-aided design -- Congresses.,Computer-aided design.
105. Optimization-based computer-aided modelling and design :
Author: A.J. Beulens, H.-J. Sebastian (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation -- Congresses.,Computer-aided design -- Congresses.,Computer-aided design.
Classification :
QA76
.
9
.
C65
A334
1992
106. Origami 4 :
Author: Robert J. Lang, editor
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Origami in education, Congresses,Origami-- Mathematics, Congresses
Classification :
QA491
.
I55
2006
107. Proceedings of the European Cognitive Science Conference 2007 /
Author: Stella Vosniadou, Daniel Kayser, Athanassios Protopapas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cognitive science, Congresses.,Psychology, Congresses.,Cognitive science.,Psychology.
Classification :
BF311
.
V676
2017
108. Programming languages and systems :
Author: Amal Ahmed (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
Classification :
QA76
.
6
109. Recent developments in decision support systems
Author: edited by Clyde W. Holsapple, University of Kentucky, Business and Economic Bldg., Room 317, Lexington, KY 40506-0034, USA, Andrew B. Whinston, Department of Management Science and Information Systems, CBA 5.202, Graduate School of Business, University of Texas at Austin, Austin, TX 78712-1175, USA.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision support systems -- Congresses.,Decision support systems.,Management -- Data processing -- Congresses.
110. Scalable Uncertainty Management
Author: \ Christoph Beierle • Alex Dekhtyar (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Uncertainty (Information theory) -- Congresses,عدم قطعیت (نظریه اطلاعات)-- کنگره ها
Classification :
Q
375
.
S8S28
2015
E-Book
,
112. Spatial information theory :
Author: Thora Tenbrink, John Stell, Antony Galton, Zena Wood (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geographic information systems, Congresses
Classification :
G70
.
212
.
C67
2013
113. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
Author: Gi-Chul Yang [and others], editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
Classification :
TA5
.
G534
2013
114. The semantic web :
Author: Pascal Hitzler [and 7 others], (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic Web, Congresses.,Semantic Web.
Classification :
TK5105
.
88815
.
E98
2019
115. Theorem provers in circuit design :
Author: Ramayya Kumar, Thomas Kropf, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
Classification :
TK7874
.
65
R363
1995
116. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
117. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
118. Verification of infinite-state systems with applications to security /
Author: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
Classification :
Q295
.
N38
2005eb
119. Vulnerability, uncertainty, and risk analysis, modeling and management
Author: sponsored by the Council on Disaster Risk Management (CDRM) of the American Society of Civil Engineers ; edited by Bilal M. Ayyub.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Emergency management, Congresses.,Fuzzy systems, Congresses.,Hazard mitigation, Congresses.,Natural disasters-- Risk assessment, Congresses.,Public works-- Protection, Congresses.,Structural analysis (Engineering), Congresses.,Uncertainty-- Mathematical models, Congresses.,TECHNOLOGY & ENGINEERING-- Structural.
120. based reasoning in science and technology-Model
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: based reasoning ; Congresses. ; -Model
